The Regular Viewpoint on Pa−processes the Regular Viewpoint on Pa-processes
نویسنده
چکیده
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest a view of PA-processes as tree languages. Our main result is that the set of iterated predecessors of a regular set of PA-processes is a regular tree language, and similarly for iterated successors. Furthermore, the corresponding tree-automata can be built eeectively in polynomial-time. This has many immediate applications to veriication problems for PA-processes, among which a simple and general model-checking algorithm.
منابع مشابه
The Regular Viewpoint on PA-Processes
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest a view of PAprocesses as tree languages. Our main result is that the set of (iterated) predecessors of a regular set of PA-processes is a regular tree language, and similarly for (iterated) successors. Furthermore, the corresponding tree-automata can be built e ectively in polynom...
متن کاملThe Regular Viewpoint on PA - Pro esses
To appear in Theoretical Computer Science The Regular Viewpoint on PA-Pro esses D. Lugiez Lab. d'Informatique de Marseille, Univ. Aix-Marseille & CNRS URA 1787, 39, r. Joliot-Curie, 13453 Marseille Cedex 13, FRANCE and Ph. S hnoebelen Lab. Spe i ation and Veri ation, ENS de Ca han & CNRS UMR 8643, 61 av. Pdt Wilson, 94235 Ca han Cedex, FRANCE Abstra t PA is the pro ess algebra allowing non-dete...
متن کاملThe Role of Teacher Autonomy in Burnout Processes among Iranian and Turkish EFL Teachers
The study aimed at measuring the perceived burnout levels of Iranian (N= 230) and Turkish (N=156) EFL teachers, determining the teacher autonomy predictors of EE, DP and PA burnout processes, and exploring their cross-cultural roles. The MBI-ES was used to measure the perceived burnout levels of the participants, and a self-developed Teacher Autonomy Scale (11 items) based on the six-compone...
متن کاملThe Effect of Implementation Intention on Improving Physical Activity Level and Cardiovascular Fitness in Patients with Type 2 Diabetes: A Randomized Control Study
Regular physical activity (PA) is one of the most effective recommendations to prevent diabetic complications. However, the reported level of PA is low in this group. This study evaluates intervention based on the implementation intention (II) theory, to improve the level of PA and the health of patients with diabetes. Materials and Methods: This randomized control study was conducted on 124 p...
متن کاملRegularity is Decidable for Normed PA Processes in Polynomial Time
A process ∆ is regular if it is bisimilar to a process ∆′ with finitely many states. We prove that regularity of normed PA processes is decidable and we present a practically usable polynomial-time algorithm. Moreover, if the tested normed PA process ∆ is regular then the process ∆′ can be effectively constructed. It implies decidability of bisimulation equivalence for any pair of processes suc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998